Theory of computation

Results: 2087



#Item
851Nomogram / Theory of computation / American College of Surgeons Oncology Group / Breast cancer / Health / Science / Mathematics / Ribbon symbolism / Charts / Diagrams

Nomograms developed and being used in SNUH Wonshik Han, MD, PhD. Associate Professor Department of Surgery and Cancer Research Institute, Seoul National University College of Medicine, Seoul, Korea We have made three nom

Add to Reading List

Source URL: www.ootr-institute.org

Language: English - Date: 2013-09-05 22:42:32
852Programming idioms / Theory of computation / Computability theory / Recursion / Relative clause / Conditional sentence / Word order / Subject / Pirahã language / Linguistics / Syntax / Language

Microsoft Word - ALL_LDLT_WORK13.doc

Add to Reading List

Source URL: www.hrelp.org

Language: English - Date: 2008-02-19 08:16:40
853Applied mathematics / Mathematics / Finite-state machine / Pumping lemma for regular languages / Theory of computation / Mealy machine / Moore machine / Logic / Formal grammar / Models of computation / Automata theory / Formal languages

Increasing Interaction and Support in the Formal Languages and Automata Theory Course∗ [Extended Abstract] Susan H. Rodger Jinghui Lim

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2007-04-07 14:47:47
854Automata theory / Turing machine / Computer science / Formal languages / Deterministic finite automaton / Finite-state machine / Unrestricted grammar / Nondeterministic finite automaton / Pushdown automaton / Theory of computation / Models of computation / Theoretical computer science

Turning Automata Theory into a Hands-on Course ∗ Susan H. Rodger Bart Bressler Thomas Finley

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2006-02-24 16:07:36
855Theory of computation / Computability theory / Alan Turing / Turing machine / Mathematical logic / Computability / Algorithm / Church–Turing thesis / Interactive computation / Theoretical computer science / Computer science / Applied mathematics

International Conference on History and Philosophy of Computing (HAPOC) The International Conference on History and Philosophy of Computing[removed]November, Ghent University, Belgium), collected for the first time in a si

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2012-01-04 08:41:21
856Computability theory / Lambda calculus / Computer science / Logic in computer science / Models of computation / Theoretical computer science / Applied mathematics

HOOTS99 Preliminary Version Object Closure Conversion Neal Glew 1 Department of Computer Science Cornell University

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 1999-08-25 13:13:44
857Turing machine / Models of computation / Computability theory / Alan Turing / Register machine / Computability / Computer / Logic / Computable number / Theoretical computer science / Theory of computation / Computer science

A short history of small machines Liesbeth De Mol1? and Maarten Bullynck2 1 Center for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, 9000 Gent, Belgium

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2012-01-31 05:13:11
858Computational complexity theory / Computational science / Algorithm / Mathematical logic / Linear programming / Analysis of algorithms / PP / Numerical analysis / Theoretical computer science / Applied mathematics / Mathematics

Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2009-07-27 23:31:09
859Programming idioms / Grammar / Theoretical computer science / Computability theory / Theory of computation / Recursion / Semantics / Syntax / Preposition and postposition / Linguistics / Computer programming / Mathematics

Structural Complexity And The Acquisition Of Recursive Locative PPs Tyler Peterson (Arizona), Ana Pérez-Leroux (Toronto), Anny Castilla-Earls (SUNY/Fredonia), Susana Béjar, Diane Massam (Toronto) Phase-based models of

Add to Reading List

Source URL: nels45.mit.edu

Language: English - Date: 2014-10-28 01:13:42
860Byzantine fault tolerance / Cryptography / Failure / Theory of computation / State machine replication / Replication / Fault-tolerant system / Distributed computing / Quorum / Fault-tolerant computer systems / Computing / Data synchronization

Don’t show your hand: on the security leakages of *BFT systems Antonio Davoli Sapienza University of Rome [removed]

Add to Reading List

Source URL: tinytocs.org

Language: English - Date: 2013-04-02 18:41:25
UPDATE